The equational theories of representable residuated semigroups
نویسنده
چکیده
We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We survey related results.
منابع مشابه
On representable ordered residuated semigroups
We show that the equational theory of representable lattice-ordered residuated semigroups is not finitely axiomatizable. We apply this result to the problem of completeness of substructural logics.
متن کاملLower Semilattice-Ordered Residuated Semigroups and Substructural Logics
We look at lower semilattice-ordered residuated semigroups and, in particular, the representable ones, i.e., those that are isomorphic to algebras of binary relations. We will evaluate expressions (terms, sequents, equations, quasi-equations) in representable algebras and give finite axiomatizations for several notions of validity. These results will be applied in the context of substructural l...
متن کاملDefinability in the Lattice of Equational Theories of Commutative Semigroups
In this paper we study first-order definability in the lattice of equational theories of commutative semigroups. In a series of papers, J. Ježek, solving problems posed by A. Tarski and R. McKenzie, has proved, in particular, that each equational theory is first-order definable in the lattice of equational theories of a given type, up to automorphism, and that such lattices have no automorphism...
متن کاملDefinability in the lattice of equational theories of semigroups
We study first-order definability in the lattice L of equational theories of semigroups. A large collection of individual theories and some interesting sets of theories are definable in L . As examples, if T is either the equational theory of a finite semigroup or a finitely axiomatizable locally finite theory, then the set {T, T } is definable, where T ∂ is the dual theory obtained by invertin...
متن کاملMinimal Varieties of Representable Commutative Residuated Lattices
We solve several open problems on the cardinality of atoms in the subvariety lattice of residuated lattices and FL-algebras [4, Problems 17–19, pp. 437]. Namely, we prove that the subvariety lattice of residuated lattices contains continuum many 4-potent commutative representable atoms. Analogous results apply also to atoms in the subvariety lattice of FLi-algebras and FLo-algebras. On the othe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Synthese
دوره 192 شماره
صفحات -
تاریخ انتشار 2015